#!/usr/bin/env python

import sys

sys.stdout.write("""\\title{The Title}
\\author{Ives van der Flaas}
\\date{\\today}

\\documentclass[12pt]{article}

\\begin{document}
\\maketitle
""")

sys.stdout.write(sys.stdin.read())

sys.stdout.write("""
\\end{document}
""")
